Obdd Heuristics Online Evaluation of Obdd-heuristics via the Internet

Learning Heuristics for Obdd Minimization by Evolutionary Algorithms Learning Heuristics for Obdd Minimization by Evolutionary Algorithms

Ordered Binary Decision Diagrams (OBDDs) are the state-of-the-art data structure in CAD for ICs. OBDDs are very sensitive to the chosen variable ordering, i.e. the size may vary from linear to exponential. In this paper we present an Evolutionary Algorithm (EA) that learns good heuristics for OBDD minimization starting from a given set of basic operations. The diierence to other previous approa...

The WWW meets EDA: Usability evaluation of OBDD-heuristics via the Internet

Electronic copies of technical reports are available: Via FTP: URL ftp://ftp.informatik.uni-trier.de/pub/Users-Root/reports Via WWW: URL http://www.informatik.uni-trier.de/Reports/Current.html Via email: Send a mail to [email protected], subject ’HELP’, for detailed instructions Printed copies: Trierer Forschungsberichte Fachbereich IV Mathematik / Informatik Universitat Trier ..

Learning Heuristics for OBDD Minimization by Evolutionary Algorithms

Ordered Binary Decision Diagrams (OBDDs) are the state-of-the-art data structure in CAD for ICs. OBDDs are very sensitive to the chosen variable ordering, i.e. the size may vary from linear to exponential. In this paper we present an Evolutionary Algorithm (EA) that learns good heuristics for OBDD minimization starting from a given set of basic operations. The diierence to other previous approa...

Heuristics for ⊕-OBDD Minimization

VARIABLE ORDERINGS FOR OBDDs, SIMULATED ANNEALING, AND THE HIDDEN WEIGHTED BIT FUNCTION

Ordered binary decision diagrams (OBDDs) are an eecient graph representation for Boolean functions, if good variable orderings are used. Variable order-ings are computed by heuristic algorithms and improved with the simulated annealing approach. New neighborhoods for simulated annealing algorithms are presented. It is investigated how the OBDD size may change in one iteration step for the diier...